Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
211	Visualizing the Turing Tarpit Jason Hemann Eric Holk Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-06 00:24:10 Applied mathematics Iota and Jot Combinatory logic Beta normal form Evaluation strategy Jot Binary lambda calculus Reduction strategy Lambda Lambda calculus Theoretical computer science Mathematical logic
212	Profiling For Laziness Matthias Felleisen Stephen Chang [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
213	William E. Byrd—Research Statement 1 Wishful Thinking, Lollipops, and Relational Programming When someone says “I want a programming language in which I need only say what I Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-04-12 16:50:44 Applied mathematics Logic in computer science Combinatory logic Fixed-point combinator Eval Symbol Prolog Futures and promises Theoretical computer science Computing Lambda calculus
214	Parametric lenses: change notification for bidirectional lenses L´aszl´o Domoszlai Radboud University Nijmegen, Netherlands, ICIS, MBSD [removed] Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Combinatory logic Function Parameter Lens Mathematics Optics Camera lens
215	A Graphical Language for Proof Strategies Gudmund Grov1 , Aleks Kissinger2 and Yuhui Lin1 1 School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK, {G.Grov,Y.Lin}@hw.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 06:14:48 Graph rewriting Search algorithms Lambda calculus Graph Depth-first search Combinatory logic Planar graph Graph theory Theoretical computer science Mathematics
216	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-10-22 13:47:39 Software engineering Computability theory Eval Scheme Env Combinatory logic Computing Lambda calculus Theoretical computer science
217	Correct Blame for Contracts ∗ No More Scapegoating Christos Dimoulas Robert Bruce Findler Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Deduction Combinatory logic Valuation Entailment Symbol Logic Logic in computer science Lambda calculus
218	Efficient Implementation of Generalized Quantification in Relational Query Languages Bin Cao Antonio Badia Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-04-25 03:37:15 Mathematics Predicate logic Semantics Relational model Generalized quantifier FO First-order logic Combinatory logic Universal quantification Mathematical logic Logic Quantification
219	Combined Distributional and Logical Semantics Mark Steedman School of Informatics University of Edinburgh Edinburgh, EH8 9AB, UK [removed] Add to Reading List Source URL: www.transacl.org Language: English - Date: 2013-05-31 13:47:42 Semantics Predicate logic Formal languages Grammar Model theory Predicate First-order logic Combinatory categorial grammar Interpretation Logic Linguistics Mathematical logic
220	abstract Task Oriented Programming with Purely Compositional Interactive Vector Graphics Peter Achten Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional languages Generic programming Haskell Literate programming International Conference on Functional Programming Domain-specific language Combinatory logic ALGOL 68 Software engineering Computing Programming language theory

UPDATE